Providing Libraries of Algebraically Specified Datatypes in Z
نویسندگان
چکیده
This work was produced under the auspices of the SERC funded project GR/G49531. Z, Z Method, OBJ, Abstract Datatypes, Safety Critical Systems, Initiality Z is a rich and expressive speci cation language. It is possible to use Z to produce clear, abstract and elegant speci cations; it is also possible to use Z to produce meaningless speci cations. One of the overall aims of the research work in York is to produce a Z-based method for the meaningful speci cation and development of safety critical systems. Our primary aim, in this paper, is to address the narrower technical issues of the rôle of axiomatic speci cation techniques in the production of Z speci cations. We return to the discussion of broader methodological issues in the conclusions.
منابع مشابه
ALGEBRAIC INDEPENENCE OF CERTAIN FORMAL POWER SERIES (II)
We shall extend the results of [5] and prove that if f = Z o a x ? Z [[X]] is algebraic over Q (x), where a = 1, ƒ 1 and if ? , ? ,..., ? are p-adic integers, then 1 ? , ? ,..., ? are linkarly independent over Q if and only if (1+x) ,(1+x) ,…,(1+x) are algebraically independent over Q (x) if and only if f , f ,.., f are algebraically independent over Q (x)
متن کاملReadiness Level of Librarians and Public Libraries Affiliated to Abadan University of Medical Sciences for Providing Health Information
Objective: The origin and status of public libraries as public institutions in providing services appropriate to the society are very important. This study aims to measure the public libraries affiliated to Abadan University of Medical Sciences in terms of health information sources and the readiness of librarians in these libraries to provide health information. Methods: This is a descriptive...
متن کاملRelating Abstract Datatypes and Z-Schemata
In this paper we investigate formally the relationship between the notion of abstract datatypes in an arbitrary institution, found in algebraic specification languages like Clear, ASL, and CASL; and the notion of schemata from the model-oriented specification language Z. To this end the institution S of the logic underlying Z is defined, and a translation of Z-schemata to abstract datatypes ove...
متن کاملDesigning Health Information Services Model in Tehran’s Public Libraries
Purpose: Considering that health information has a fundamental role in increasing the level of health of people in today's societies, it provides a suitable platform for the growth and development of health systems in different countries. This study aimed to investigate the health information needs and how to access health information among those referred to public libraries in Tehran. Method:...
متن کاملThe Status of Public Libraries Affiliated with the Cultural and Art Organization of Tehran Municipality in Providing Health Information to the Elderly
Background and Aim: One of the most important needs of the elderly is information. Public libraries are among the centers that can play an effective role in providing information services year after year. The purpose of this study was to investigate the situation of public libraries affiliated with the Cultural and Artistic Organization of Tehran Municipality in the Health Information Report fo...
متن کامل